/********************************************************************************
** Form generated from reading UI file 'gui_sdesframework.ui'
**
** Created: Thu 15. Sep 16:37:18 2011
**      by: Qt User Interface Compiler version 4.7.3
**
** WARNING! All changes made in this file will be lost when recompiling UI file!
********************************************************************************/

#ifndef GUI_SDESFRAMEWORK_H
#define GUI_SDESFRAMEWORK_H

#include <QtCore/QVariant>
#include <QtGui/QAction>
#include <QtGui/QApplication>
#include <QtGui/QButtonGroup>
#include <QtGui/QGraphicsView>
#include <QtGui/QHBoxLayout>
#include <QtGui/QHeaderView>
#include <QtGui/QLabel>
#include <QtGui/QMainWindow>
#include <QtGui/QMenuBar>
#include <QtGui/QProgressBar>
#include <QtGui/QPushButton>
#include <QtGui/QStatusBar>
#include <QtGui/QTabWidget>
#include <QtGui/QTextEdit>
#include <QtGui/QVBoxLayout>
#include <QtGui/QWidget>

QT_BEGIN_NAMESPACE

class Ui_MainWindow
{
public:
    QWidget *centralwidget;
    QHBoxLayout *horizontalLayout;
    QVBoxLayout *verticalLayout_4;
    QLabel *label_2;
    QGraphicsView *graphicsView;
    QVBoxLayout *verticalLayout;
    QHBoxLayout *horizontalLayout_6;
    QPushButton *pushButton_2;
    QPushButton *pushButton_3;
    QPushButton *pushButton;
    QTabWidget *tabWidget;
    QWidget *tab;
    QVBoxLayout *verticalLayout_2;
    QWidget *tab_2;
    QWidget *tab_3;
    QWidget *tab_4;
    QLabel *label;
    QTextEdit *textEdit;
    QProgressBar *progressBar;
    QMenuBar *menubar;
    QStatusBar *statusbar;

    void setupUi(QMainWindow *MainWindow)
    {
        if (MainWindow->objectName().isEmpty())
            MainWindow->setObjectName(QString::fromUtf8("MainWindow"));
        MainWindow->resize(1076, 798);
        centralwidget = new QWidget(MainWindow);
        centralwidget->setObjectName(QString::fromUtf8("centralwidget"));
        horizontalLayout = new QHBoxLayout(centralwidget);
        horizontalLayout->setObjectName(QString::fromUtf8("horizontalLayout"));
        verticalLayout_4 = new QVBoxLayout();
        verticalLayout_4->setObjectName(QString::fromUtf8("verticalLayout_4"));
        label_2 = new QLabel(centralwidget);
        label_2->setObjectName(QString::fromUtf8("label_2"));
        QFont font;
        font.setPointSize(12);
        font.setBold(true);
        font.setWeight(75);
        label_2->setFont(font);

        verticalLayout_4->addWidget(label_2);

        graphicsView = new QGraphicsView(centralwidget);
        graphicsView->setObjectName(QString::fromUtf8("graphicsView"));
        graphicsView->setMinimumSize(QSize(600, 0));

        verticalLayout_4->addWidget(graphicsView);


        horizontalLayout->addLayout(verticalLayout_4);

        verticalLayout = new QVBoxLayout();
        verticalLayout->setObjectName(QString::fromUtf8("verticalLayout"));
        horizontalLayout_6 = new QHBoxLayout();
        horizontalLayout_6->setObjectName(QString::fromUtf8("horizontalLayout_6"));
        //pushButton_2 = new QPushButton(centralwidget);
        //pushButton_2->setObjectName(QString::fromUtf8("pushButton_2"));

        //horizontalLayout_6->addWidget(pushButton_2);

        //pushButton_3 = new QPushButton(centralwidget);
        //pushButton_3->setObjectName(QString::fromUtf8("pushButton_3"));

        //horizontalLayout_6->addWidget(pushButton_3);

        //pushButton = new QPushButton(centralwidget);
        //pushButton->setObjectName(QString::fromUtf8("pushButton"));

        //horizontalLayout_6->addWidget(pushButton);


        verticalLayout->addLayout(horizontalLayout_6);

        tabWidget = new QTabWidget(centralwidget);
        tabWidget->setObjectName(QString::fromUtf8("tabWidget"));
        tabWidget->setMinimumSize(QSize(450, 300));
        tabWidget->setMaximumSize(QSize(650, 350));
        tab = new QWidget();
        tab->setObjectName(QString::fromUtf8("tab"));
        verticalLayout_2 = new QVBoxLayout(tab);
        verticalLayout_2->setObjectName(QString::fromUtf8("verticalLayout_2"));
        tabWidget->addTab(tab, QString());
        //tab_2 = new QWidget();
        //tab_2->setObjectName(QString::fromUtf8("tab_2"));
        //tabWidget->addTab(tab_2, QString());
        //tab_3 = new QWidget();
        //tab_3->setObjectName(QString::fromUtf8("tab_3"));
        //tabWidget->addTab(tab_3, QString());
        //tab_4 = new QWidget();
        //tab_4->setObjectName(QString::fromUtf8("tab_4"));
        //tabWidget->addTab(tab_4, QString());

        verticalLayout->addWidget(tabWidget);

        label = new QLabel(centralwidget);
        label->setObjectName(QString::fromUtf8("label"));
        label->setFont(font);

        verticalLayout->addWidget(label);

        textEdit = new QTextEdit(centralwidget);
        textEdit->setObjectName(QString::fromUtf8("textEdit"));
        textEdit->setMinimumSize(QSize(450, 0));
        textEdit->setMaximumSize(QSize(650, 16777215));

        verticalLayout->addWidget(textEdit);

        progressBar = new QProgressBar(centralwidget);
        progressBar->setObjectName(QString::fromUtf8("progressBar"));
        progressBar->setMinimumSize(QSize(450, 0));
        progressBar->setMaximumSize(QSize(650, 16777215));
        progressBar->setValue(100);

        verticalLayout->addWidget(progressBar);


        horizontalLayout->addLayout(verticalLayout);

        MainWindow->setCentralWidget(centralwidget);
        menubar = new QMenuBar(MainWindow);
        menubar->setObjectName(QString::fromUtf8("menubar"));
        menubar->setGeometry(QRect(0, 0, 1076, 21));
        MainWindow->setMenuBar(menubar);
        statusbar = new QStatusBar(MainWindow);
        statusbar->setObjectName(QString::fromUtf8("statusbar"));
        MainWindow->setStatusBar(statusbar);

        retranslateUi(MainWindow);

        tabWidget->setCurrentIndex(0);


        QMetaObject::connectSlotsByName(MainWindow);
    } // setupUi

    void retranslateUi(QMainWindow *MainWindow)
    {
        MainWindow->setWindowTitle(QApplication::translate("MainWindow", "T3S-Toolbox", 0, QApplication::UnicodeUTF8));
        label_2->setText(QApplication::translate("MainWindow", "Stochastic Automaton", 0, QApplication::UnicodeUTF8));
        //pushButton_2->setText(QApplication::translate("MainWindow", "Learn from", 0, QApplication::UnicodeUTF8));
        //pushButton_3->setText(QApplication::translate("MainWindow", "Save as", 0, QApplication::UnicodeUTF8));
        //pushButton->setText(QApplication::translate("MainWindow", "Settings", 0, QApplication::UnicodeUTF8));
        tabWidget->setTabText(tabWidget->indexOf(tab), QApplication::translate("MainWindow", "Learning Analysis", 0, QApplication::UnicodeUTF8));
        //tabWidget->setTabText(tabWidget->indexOf(tab_2), QApplication::translate("MainWindow", "Simulation", 0, QApplication::UnicodeUTF8));
        //tabWidget->setTabText(tabWidget->indexOf(tab_3), QApplication::translate("MainWindow", "Learning GSMP", 0, QApplication::UnicodeUTF8));
        //tabWidget->setTabText(tabWidget->indexOf(tab_4), QApplication::translate("MainWindow", "Testing GSMP", 0, QApplication::UnicodeUTF8));
        label->setText(QApplication::translate("MainWindow", "Event Language", 0, QApplication::UnicodeUTF8));
    } // retranslateUi

};

namespace Ui {
    class MainWindow: public Ui_MainWindow {};
} // namespace Ui

QT_END_NAMESPACE

#endif // GUI_SDESFRAMEWORK_H
